#include <um.h>
#include <devices.h>
#include <trap.h>
#include <pmm.h>
#include <vmm.h>
#include <swap.h>

/**
 * The entry.
 */
int main (int argc, char* argv[], char* envp[])
{
	device_init_common ();

	trap_init ();

	pmm_init ();
	vmm_init ();
	swap_init ();

	device_init_child_process ();

	while (1);

	device_dtor ();
	
	return 0;
}

